"predicate calculus" meaning in Anglais

{
  "categories": [
    {
      "kind": "other",
      "name": "Locutions nominales en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Anglais",
      "orig": "anglais",
      "parents": [],
      "source": "w"
    }
  ],
  "lang": "Anglais",
  "lang_code": "en",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "senses": [
    {
      "glosses": [
        "Calcul des prédicats."
      ],
      "id": "fr-predicate_calculus-en-noun-IHcFnd04"
    }
  ],
  "word": "predicate calculus"
}

{
  "categories": [
    "Locutions nominales en anglais",
    "anglais"
  ],
  "lang": "Anglais",
  "lang_code": "en",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "senses": [
    {
      "glosses": [
        "Calcul des prédicats."
      ]
    }
  ],
  "word": "predicate calculus"
}